Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
501	The Last Word Show Me the Money by Jeff Patton SOMETIMES THE MOST NEGLECTED USERS Add to Reading List Source URL: agileproductdesign.com Language: English - Date: 2011-09-25 15:06:48 Software project management Computing Software licenses Formal methods Project management Software product management Anticipatory thinking Software quality Source code
502	Join Our Team Software Development Engineer Test \| Mobile Remitly is looking for a passionate mobile-oriented Software Development Engineer in Test who will raise the quality bar for our iOS and Android apps. Remitly i Add to Reading List Source URL: dp7bzmm9dzigd.cloudfront.net Language: English - Date: 2015-03-17 00:19:19 Formal methods Management Methodology Software development process Software engineering Quality assurance Software quality Software testing Independent test organization Software project management Computing Software development
503	CONSULTANCY TRANSFORMATION Design and Implementation A project based service, encompassing analysis, design, Add to Reading List Source URL: www.centralis.co.uk Language: English - Date: 2014-04-02 12:44:54 Software testing Science Software project management Method engineering IBM Rational Unified Process Software development process Acceptance testing Information Technology Infrastructure Library Project delivery method Formal methods Software development Information technology management
504	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
505	Microsoft Word9new.doc Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2009-11-05 18:43:35 Product lifecycle management Project management Project manager Software development process Science Business Formal methods Management Building engineering
506	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
507	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
508	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
509	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
510	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic

UPDATE